Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
391	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68
392	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
393	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
394	Functional Programming and Parallel Computing Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-03 05:18:34 Parallel computing Thread Multi-core processor Data parallelism Functional programming Central processing unit Algorithmic skeleton Concurrent computing
395	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
396	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus
397	APLicative Programming with Naperian Functors Extended abstract Jeremy Gibbons University of Oxford, UK 1. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2016-07-31 14:34:50 Vectors Linear algebra Functional programming Programming idioms Abstract algebra Applicative functor Functor Euclidean vector Vector space Array programming Map Dimension
398	List Functions List Functions, and Higher-Order Functions We have seen some list functions already Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 04:06:56 Higher-order functions Functional programming Recursion Programming language comparisons Subroutines Fold Tail call Map Append Filter Polymorphism XS
399	Lazy Evaluation for OCL Massimo Tisi1 , R´emi Douence2 , Dennis Wagelaar3 1 AtlanMod team (Inria, Mines Nantes, LINA), Nantes, France Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-11-13 04:23:28 Functional programming Recursion Functional analysis Object Constraint Language Unified Modeling Language Monad ECO Lazy evaluation Tree traversal Dual space FO
400	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression

UPDATE